An improved local search algorithm for 3-SAT

机译：一种改进的3-SAT局部搜索算法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Brueggemann, T.; Kern, Walter;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. An improved deterministic local search algorithm for 3-SAT [J] . Tobias Brueggemann, Walter Kern Theoretical computer science . 2004,第1a3期

机译：一种改进的3-SAT确定性局部搜索算法
2. Another Proof for an Upper Bound of a Local Search Algorithm for 3-SAT [J] . Masaki Yamamoto, 山本真基電子情報通信学会技術研究報告. コンピュテ-ション. Theoretical Foundations of Computing . 2004,第501期

机译：3-SAT局部搜索算法上限的另一种证明
3. Another Proof for an Upper Bound of a Local Search Algorithm for 3-SAT [J] . Masaki YAMAMOTO 電子情報通信学会技術研究報告. コンピュテ-ション. Theoretical Foundations of Computing . 2004,第501期

机译：3-SAT局部搜索算法上限的另一种证明
4. Cellular Genetic Algorithms and Local Search for 3-SAT problem on Graphic Hardware [C] . Zhongwen Luo, Hongzhi Liu IEEE Congress on Evolutionary Computation . 2006

机译：蜂窝遗传算法和本地搜索图形硬件上的3周六问题
5. Search space structures of local search algorithms for SAT. [D] . Li, Guang. 2004

机译：SAT局部搜索算法的搜索空间结构。
6. An Improved Population Migration Algorithm Introducing the Local Search Mechanism of the Leap-Frog Algorithm and Crossover Operator [O] . Yanqing Zhang, Xueying Liu 2010

机译：引入跳蛙算法和交叉算子的局部搜索机制的改进种群迁移算法
7. An improved deterministic local search algorithm for 3-SAT [O] . Brueggemann, T., Kern, Walter 2004

机译：一种改进的3-SAT确定性局部搜索算法

An improved local search algorithm for 3-SAT

著录项

引文网络

相似文献

相关主题

期刊订阅